#include<iostream>
using namespace std;
int main(){
	int a=0,max=0,count=0;
	while(1){
		cin>>a;
		if(a<0){
			break;
		}
		else{
			if(a>max){
				max=a;
				count=0;
			}
			if(a==max){
				count+=1;
			}
		}
	}
	printf("%d\n%d",max,count);
} 
